$\forall$$p$:FinProbSpace, $F$:(Outcome$\rightarrow\mathbb{Q}$), $q$:$\mathbb{Q}$. ($\forall$$x$:Outcome. $q$ $\leq$ $F$($x$)) $\Rightarrow$ $q$ $\leq$ weighted{-}sum($p$;$F$)